Measuring the confinement of probabilistic systems

نویسندگان

  • Alessandra Di Pierro
  • Chris Hankin
  • Herbert Wiklicky
چکیده

In this paper we lay the semantic basis for a quantitative security analysis of probabilistic systems by introducing notions of approximate confinement based on various process equivalences. We re-cast the operational semantics classically expressed via probabilistic transition systems (PTS) in terms of linear operators and we present a technique for defining approximate semantics as probabilistic abstract interpretations of the PTS semantics. An operator norm is then used to quantify this approximation. This provides a quantitative measure ε of the indistinguishability of two processes and therefore of their confinement. In this security setting a statistical interpretation is then given of the quantity ε which relates it to the number of tests needed to breach the security of the system.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Probabilistic Optimal Operation of a Smart Grid Including Wind Power Generator Units

This paper presents a probabilistic optimal power flow (POPF) algorithm considering different uncertainties in a smart grid. Different uncertainties such as variation of nodal load, change in system configuration, measuring errors, forecasting errors, and etc. can be considered in the proposed algorithm. By increasing the penetration of the renewable energies in power systems, it is more essent...

متن کامل

Probabilistic Contaminant Source Identification in Water Distribution Infrastructure Systems

Large water distribution systems can be highly vulnerable to penetration of contaminant factors caused by different means including deliberate contamination injections. As contaminants quickly spread into a water distribution network, rapid characterization of the pollution source has a high measure of importance for early warning assessment and disaster management. In this paper, a methodology...

متن کامل

Multiple Response Optimization with Probabilistic Covariates Using Simultaneous Equation Systems (Quality Engineering Conference Paper)

control of production processes in an industrial environment needs the correct setting of input factors, so that output products with desirable characteristics will be resulted at minimum cost. Moreover, such systems havetomeetset of qualitycharacteristicstosatisfycustomer requirements.Identifyingthemosteffectivefactorsindesignoftheprocesswhichsupportcontinuousandcontinualimprovement isrecently...

متن کامل

Probabilistic Normed Groups

In this paper, we introduce the  probabilistic normed groups. Among other results, we investigate the continuityof inner automorphisms of a group and the continuity of left and right shifts in probabilistic group-norm. We also study midconvex functions defined  on probabilistic normed groups and  give  some results about locally boundedness of such  functions.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 340  شماره 

صفحات  -

تاریخ انتشار 2005